1.
Formal Techniques for Distributed Objects, Components, and Systems : 41st IFIP WG 6. 1 Inter...
by Peters, Kirstin, Willemse, ...
ISBN: 9783030780883
2.
Software Engineering and Formal Methods : 21st International Conference, SEFM 2023, Eindhove...
by Ferreira, Carla, Willemse, ...
ISBN: 9783031471148
List Price: $74.99